git fetch and git pull